Drive Imagining

Imagining Clp(, ) Imagining Clp(, )

We study under which conditions the domain of-terms (() and the equality theory of the-calculus () form the basis of a usable constraint logic programming language (CLP). The conditions are that the equality theory must contain axiom , and the formula language must depart from Horn clauses and accept universal quantiications and implications in goals. In short, CLP((,) must be close to Prolog. ...

Imagining Research

Creating connections between analytical psychology and other disciplines requires imagining a research paradigm that draws on a Jungian as well as traditional scholarly perspectives. This paper uses stories and images to explore elements of research such as knowing and not-knowing. Active imagination, amplification, and immersion can be incorporated in any research strategy to take a more wholi...

Imagining Clp(, )

We study under which conditions the domain of-terms () and the equality theory of the-calculus () form the basis of a usable constraint logic programming language (CLP). The conditions are that the equality theory must contain axiom , and the formula language must depart from Horn clauses and accept universal quantiications and implications in goals. In short, CLP(,) must be close to Prolog.

Imagining Contexts

The aim of this paper is to present a formal semantics inspired by the notion of Mental Imagery, largely researched in Cognitive Science and Experimental Psychology, that grasps the full significance of the concept of context. The outcomes presented here are considered important for both the Knowledge Representation and Philosophy of Language communities for two reasons. Firstly, the semantics ...

Imagining the Impossible